(define (problem burglar)
	(:domain burglar)
	(:objects 
		 dummy_t_camera - t_camera
		 o50 - t_container
		 o34 o35 o32 o33 o38 o39 o36 o37 o40 o41 o21 o23 o22 o25 o24 o27 o26 o29 o28 o31 o30 - t_door
		 dummy_t_floor - t_floor
		 dummy_t_phone - t_phone
		 dummy_t_switch - t_switch
		 dummy_t_vender - t_vender
		 o1 o2 o3 o4 o5 o6 o7 o8 o9 o10 o11 o12 o13 o14 o15 - t_room
		 o102 o103 o104 - t_key
		 dummy_t_ladder - t_ladder
		 o101 - t_treasure
		 o201 - t_burglar
		 dummy_t_dog - t_dog
		 dummy_t_guard - t_guard
	)
	(:init
		(closed o34)
		(door_connects o34 o9 o11)
		(door_connects o34 o11 o9)
		(position_in o34 o9)
		(position_in o34 o11)
		(closed o35)
		(door_connects o35 o10 o12)
		(door_connects o35 o12 o10)
		(position_in o35 o10)
		(position_in o35 o12)
		(closed o32)
		(door_connects o32 o8 o10)
		(door_connects o32 o10 o8)
		(position_in o32 o8)
		(position_in o32 o10)
		(closed o33)
		(door_connects o33 o9 o10)
		(door_connects o33 o10 o9)
		(position_in o33 o9)
		(position_in o33 o10)
		(closed o38)
		(door_connects o38 o12 o14)
		(door_connects o38 o14 o12)
		(position_in o38 o12)
		(position_in o38 o14)
		(closed o39)
		(door_connects o39 o13 o14)
		(door_connects o39 o14 o13)
		(position_in o39 o13)
		(position_in o39 o14)
		(closed o36)
		(door_connects o36 o11 o12)
		(door_connects o36 o12 o11)
		(position_in o36 o11)
		(position_in o36 o12)
		(closed o37)
		(door_connects o37 o11 o13)
		(door_connects o37 o13 o11)
		(position_in o37 o11)
		(position_in o37 o13)
		(closed o40)
		(door_connects o40 o13 o15)
		(door_connects o40 o15 o13)
		(position_in o40 o13)
		(position_in o40 o15)
		(closed o41)
		(door_connects o41 o14 o15)
		(door_connects o41 o15 o14)
		(position_in o41 o14)
		(position_in o41 o15)
		(position_in o50 o15)
		(closed o50)
		(contains o50 o101)
		(door_connects o21 o1 o2)
		(door_connects o21 o2 o1)
		(position_in o21 o1)
		(position_in o21 o2)
		(closed o23)
		(door_connects o23 o2 o4)
		(door_connects o23 o4 o2)
		(position_in o23 o2)
		(position_in o23 o4)
		(closed o22)
		(door_connects o22 o2 o3)
		(door_connects o22 o3 o2)
		(position_in o22 o2)
		(position_in o22 o3)
		(closed o25)
		(door_connects o25 o3 o5)
		(door_connects o25 o5 o3)
		(position_in o25 o3)
		(position_in o25 o5)
		(closed o24)
		(door_connects o24 o3 o4)
		(door_connects o24 o4 o3)
		(position_in o24 o3)
		(position_in o24 o4)
		(closed o27)
		(door_connects o27 o5 o6)
		(door_connects o27 o6 o5)
		(position_in o27 o5)
		(position_in o27 o6)
		(closed o26)
		(door_connects o26 o4 o6)
		(door_connects o26 o6 o4)
		(position_in o26 o4)
		(position_in o26 o6)
		(closed o29)
		(door_connects o29 o6 o8)
		(door_connects o29 o8 o6)
		(position_in o29 o6)
		(position_in o29 o8)
		(closed o28)
(locked o28)
		(door_connects o28 o5 o7)
		(door_connects o28 o7 o5)
		(position_in o28 o5)
		(position_in o28 o7)
		(closed o31)
		(door_connects o31 o7 o9)
		(door_connects o31 o9 o7)
		(position_in o31 o7)
		(position_in o31 o9)
		(closed o30)
		(door_connects o30 o7 o8)
		(door_connects o30 o8 o7)
		(position_in o30 o7)
		(position_in o30 o8)
		(agent_next_to o201 dummy_t_floor)
		(position_in dummy_t_floor o2)
		(agent_in o201 o2)
	)
	(:goal
		(and
			(agent_in o201 o1)
			(contains o201 o101)
			
			(visited o201 o7)
			
; close containers
		(closed o50)
		)
	)
)
